Skip to content

feat: hardening flags#503

Merged
benthevining merged 6 commits intomainfrom
hardening-flags
Mar 13, 2026
Merged

feat: hardening flags#503
benthevining merged 6 commits intomainfrom
hardening-flags

Conversation

@benthevining
Copy link
Owner

@benthevining benthevining commented Mar 13, 2026

@benthevining benthevining linked an issue Mar 13, 2026 that may be closed by this pull request
@benthevining benthevining self-assigned this Mar 13, 2026
@benthevining benthevining added enhancement New feature or request tooling labels Mar 13, 2026
@benthevining benthevining moved this to In progress in ben-bot Mar 13, 2026
@benthevining benthevining added this to the v1.8.0 milestone Mar 13, 2026
@benthevining benthevining merged commit d02e128 into main Mar 13, 2026
0 of 5 checks passed
@benthevining benthevining deleted the hardening-flags branch March 13, 2026 22:50
@github-project-automation github-project-automation bot moved this from In progress to Done in ben-bot Mar 13, 2026
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

enhancement New feature or request size/M tooling

Projects

Archived in project

Development

Successfully merging this pull request may close these issues.

Hardening flags for release mode

1 participant